Scheme theory - PDFSEARCH.IO - Document Search Engine

Scheme theory
Results: 835

#	Item
771	4.Syntax This section presents an informal syntax for Joule. For a formal syntax, Add to Reading List Source URL: www.erights.org Language: English - Date: 2004-12-04 19:43:55 Procedural programming languages Cross-platform software Lisp Lisp programming language Scheme Regular expression C ALGOL 68 SQL Software engineering Computing Programming language theory
772	Naive Diversification Strategies in Defined Contribution Saving Plans By SHLOMO BENARTZI Add to Reading List Source URL: faculty.chicagobooth.edu Language: English - Date: 2013-03-12 11:42:33 Asset allocation Stock fund Collective investment scheme Naive diversification Index fund Diversification Modern portfolio theory Thrift Savings Plan Exchange-traded fund Financial economics Investment Finance
773	arXiv:1004.1884v1 [math.AG] 12 Apr[removed]The Derived Moduli Space of Stable Sheaves Add to Reading List Source URL: arxiv.org Language: English - Date: 2010-04-12 20:10:28 Sheaf theory Invariant theory Moduli theory Algebras Graded algebra D-module Proj construction Moduli space Sheaf Abstract algebra Algebra Scheme theory
774	? W H A T Add to Reading List Source URL: www.ams.org Language: English - Date: 2003-03-07 15:34:13 Moduli theory Moduli space Algebraic stack Moduli of algebraic curves Elliptic curve Stable map Riemann surface Moduli scheme Curve Abstract algebra Geometry Algebraic geometry
775	THE ETALE TOPOLOGY OF SCHEMES M. A R T I N Add to Reading List Source URL: www.mathunion.org Language: English - Date: 2012-04-18 10:30:25 Homological algebra Sheaf theory Scheme theory Cohomology theories Étale topology Étale cohomology Sheaf Étale morphism Cohomology Abstract algebra Algebra Algebraic geometry
776	A Gentle Introduction to Multi-stage Programming, Part II Walid Taha Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2008-10-20 11:11:08 Lambda calculus Functional languages Type theory Formal methods Theoretical computer science Eval OCaml Type system Scheme Software engineering Computing Programming language theory
777	SEMINAR NOTES: MAPPING STACKS AND BunG (X) (SEPT. 17, 2009) DENNIS GAITSGORY Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2009-09-22 09:36:12 Sheaf theory Algebraic topology Algebraic geometry Scheme theory Sheaf Ample line bundle Vector bundle Functor Grothendieck topology Abstract algebra Topology Algebra
778	BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 1999-09-23 18:42:18 Lambda calculus Subroutines Recursion Theoretical computer science Computability theory Lambda lifting Fold Closure Scheme Software engineering Computing Computer programming
779	A Self-Hosting Evaluator using HOAS A Scheme Pearl Eli Barzilay Add to Reading List Source URL: scheme2006.cs.uchicago.edu Language: English - Date: 2006-08-29 21:53:24 Lambda calculus Recursion Subroutines Computability theory Theoretical computer science Higher-order abstract syntax Fixed-point combinator Scheme Continuation-passing style Software engineering Computing Computer programming
780	Introduction to derived algebraic geometry Bertrand To¨en Add to Reading List Source URL: math.berkeley.edu Language: English - Date: 2012-06-20 04:33:57 Algebraic geometry Category theory Algebraic topology Homological algebra Moduli space Scheme Cotangent complex Functor Sheaf Abstract algebra Algebra Scheme theory

UPDATE